Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
761	Non-pdontised ranked belief change Aditya Ghose Decision Systems Laboratory Department of Information Systems University of Wollongong Wollongong, NSW 2522, Australia Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Binary operations Non-classical logic Belief revision Entailment Modal logic Consistency Epistemology If and only if Multiset Logic Philosophical logic Mathematics
762	A Possibilistic Extension of Description Logics Guilin Qi1 , Jeff Z. Pan2 , and Qiu Ji1 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mathematics Possibility theory Interpretation Modal logic Description logic Constructible universe Fuzzy logic Function Probabilistic logic Logic Mathematical logic Non-classical logic
763	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics ? Yue Ma1,2 , Guilin Qi2 , Pascal Hitzler2 , and Zuoquan Lin1 1 Department of Information Science, Peking University, China Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Information science Technical communication Knowledge representation Ontology Entailment Proj construction Description logic Many-valued logic Logic Science Philosophical logic
764	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
765	A Well-founded Semantics for Hybrid MKNF Knowledge Bases? Matthias Knorr1 , Jos´e J´ ulio Alferes1 , and Pascal Hitzler2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Logic programming Artificial intelligence Non-classical logic Model theory Stable model semantics Epistemic modal logic Partition Description logic Mathematics Mathematical logic Logic
766	Modal Logic Applied to Query Answering and the Case for Variable Modalities Evgeny Zolin School of Computer Science The University of Manchester [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Model theory Modal logic Non-classical logic Conjunctive query Kripke semantics FO Logical connective Interpretation Query Logic Mathematical logic Philosophical logic
767	Semantic difference in ALN Alain L´eger1 , Christophe Rey2 , and Farouk Toumani2 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Philosophical logic Artificial intelligence Description logic Information science PP Semantic gap Modal logic FO Logic Non-classical logic Applied mathematics
768	Logics for Insecure Communication Alexandru Baltag* Abstract W e present a general setting for dynarnlc-epistemic logics for communication, which can express announcements of different types (public or private, truthful Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Modal logic Non-classical logic Kripke semantics Classical cipher Four-square cipher Logic Philosophical logic Mathematical logic
769	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Knowledge representation Knowledge engineering Information science Non-classical logic Semantic reasoner Description logic Method of analytic tableaux Web Ontology Language Semantic Web Logic Science
770	Reasoning about Belief in Social Software using Modal Logic Add to Reading List Source URL: www.ronalddehaan.eu Language: English - Date: 2010-09-28 11:02:33 Branches of philosophy Metalogic Non-classical logic Modal logic Epistemic modal logic Truth Causality Function Rohit Jivanlal Parikh Logic Philosophy Philosophical logic

UPDATE